1.
Embedded Software First International Workshop, Emsoft 2001, Tahoe City, Ca, Usa, October 8-...
by Henzinger, T. A., Kirsch, C...
ISBN: 9783540426738
List Price: $89.95
2.
Hybrid Systems III Verification and Control
by Alur, R., Henzinger, T. A.,...
ISBN: 9783540611554
List Price: $111.00
3.
Computer Aided Verification: 8th International Conference, CAV '96, New Brunswick, NJ, July ...
by Alur, R., Henzinger, T. A.
ISBN: 9783540614746
List Price: $98.00
4.
Hybrid Systems Computation and Control First International Workshop, Hscc'98, Berkeley, Cal...
by Henzinger, T. A., Sastry, S...
ISBN: 9783540643586
List Price: $79.95